solve (tan(9)=2/tan(beta)*(12^2*(sin(beta))^2-1)/(12^2(1.4+cos(2*beta))+2),beta)